Propositional formula - PDFSEARCH.IO - Document Search Engine

Propositional formula
Results: 133

#	Item
91	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
92	PDF Document Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
93	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September 18, 2004 in Białowie˙za (Poland). The workshop was devoted to celebrate 30 years of Mizar. It was affiliated to th Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
94	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
95	always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed] Add to Reading List Source URL: consequently.org Language: English - Date: 2010-11-15 08:48:37 Boolean algebra Modal logic Semantics Proposition Negation Tautology Possible world Contingency Atomic formula Logic Mathematical logic Propositional calculus
96	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
97	Rational Acceptance and Conjunctive/Disjunctive Absorption Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:13 Propositional calculus Epistemology Lottery paradox Paradoxes Propositional formula Mu Support Logic Mathematical logic Boolean algebra
98	PDF Document Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
99	Description Logics Deduction in Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Mathematical logic Model theory Logical truth Satisfiability Entailment Interpretation Well-formed formula Tautology Completeness Logic Metalogic Propositional calculus
100	Elementary Logic PHILV1401 Fall[removed]Altschul Hall MW 11:00-12:15 Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-12 11:40:07 Logical syntax Predicate logic Formal languages Outline of logic Formation rule First-order logic Well-formed formula Proposition Index of logic articles Logic Mathematical logic Propositional calculus